From d746429dbb67f6eb2cdfec8828a3187e4456530d Mon Sep 17 00:00:00 2001
From: "kfraser@localhost.localdomain" <kfraser@localhost.localdomain>
Date: Fri, 15 Dec 2006 09:17:41 +0000
Subject: [PATCH] Remove unused function from check script. Signed-off-by: Keir
 Fraser <keir@xensource.com>

---
 tools/check/check_python_devel | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/tools/check/check_python_devel b/tools/check/check_python_devel
index 8ac361624a..d2f05368d2 100755
--- a/tools/check/check_python_devel
+++ b/tools/check/check_python_devel
@@ -1,12 +1,6 @@
 #!/bin/sh
 # CHECK-BUILD
 
-function error {
-    echo
-    echo "  *** Check for python development environment FAILED"
-    exit 1
-}
-
 RC=0
 
 python -c '
-- 
2.30.2